$\forall$$L$:Dsys List.
\\[0ex]($\forall$$A$,$B$$\in$$L$.interface{-}compatible($A$;$B$))
\\[0ex]$\Rightarrow$ ($\forall$$A$,$B$$\in$$L$.$A$ $\parallel$ $B$)
\\[0ex]$\Rightarrow$ ($\forall$$A$$\in$$L$. Feasible($A$))
\\[0ex]$\Rightarrow$ Feasible($\oplus$($L$))